Intuitionistic Correspondence Theory [PhD Thesis]

Rodenburg P.H. “Intuitionistic Correspondence Theory” (PhD Thesis, 1986) ......Page 1
Table of contents ......Page 7
Dankwoord ......Page 8
Part I. Formulas of propositional logic as descriptions of frames ......Page 9
§1. Introduction ......Page 10
§2. Further examples and Kripke model theory ......Page 22
§3. Refutation patterns ......Page 34
§4. Fragments ......Page 45
§5. Modal logic ......Page 50
Part II. First-order definability ......Page 55
§6. Elementary I-formulas ......Page 57
§7. Labeled frames ......Page 67
§8. Classes of frames in which every I-formula is first-order definable ......Page 77
§9. Trees ......Page 86
§10. Finite frames ......Page 99
§11. Monadic formulas ......Page 104
§12. Syntactic closure properties and proper inclusions of classes E(K) ......Page 113
Part III. I-definability ......Page 116
§13. Models ......Page 117
§l4. I-definable classes of frames ......Page 123
§15. I-definable elementary classes ......Page 140
§16. I-definable classes of finite frames ......Page 144
§17. Classes of frames definable with transparent formulas ......Page 147
Appendix: Beth semantics ......Page 156
References ......Page 165
Index of symbols ......Page 169
Index of definitions ......Page 170
Samenvatting ......Page 173
Stellingen ......Page 175